projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34d2ddf) | patch
tools/ocaml: Remove the uuid library
authorJon Ludlam <jonathan.ludlam@eu.citrix.com>
Mon, 10 Oct 2011 15:41:16 +0000 (16:41 +0100)
committerJon Ludlam <jonathan.ludlam@eu.citrix.com>
Mon, 10 Oct 2011 15:41:16 +0000 (16:41 +0100)
commitcc3739d41c4b4536e88c07256df3e89d41f5816f
treea0ccc66f965363be2d6a3e6c54f57933e83d01betree | snapshot
parent34d2ddf937a5ff1e2a3143d457c487d050a0fb36commit | diff
tools/ocaml: Remove the uuid library

The library was only minimally used, and was really rather redundant.

Signed-off-by: Zheng Li <zheng.li@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell.com>
Committed-by: Ian Jackson <ian.jackson.citrix.com>
Acked-by: Jon Ludlam <jonathan.ludlam@eu.citrix.com>
tools/ocaml/libs/Makefile diff | blob | history
tools/ocaml/libs/uuid/META.in [deleted file] blob | history
tools/ocaml/libs/uuid/Makefile [deleted file] blob | history
tools/ocaml/libs/uuid/uuid.ml [deleted file] blob | history
tools/ocaml/libs/uuid/uuid.mli [deleted file] blob | history
tools/ocaml/libs/xc/META.in diff | blob | history
tools/ocaml/libs/xc/Makefile diff | blob | history
tools/ocaml/libs/xc/xenctrl.ml diff | blob | history
tools/ocaml/libs/xc/xenctrl.mli diff | blob | history
tools/ocaml/xenstored/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.